Lekcja: "Logika, algebra Boole`a, arytmetyka cyfrowa - część I"
Algebra Boole`a
Formalnie...
Algebra Bool`a to struktura algebraiczna B:=(B,, , , 0, 1), w której i są działaniami dwuargumentowymi, jest operacją jednoargumentową, a 0 i 1 są wyróżnionymi różnymi elementami zbioru B, spełniająca następujące warunki dla wszystkich a, b, c B:
, 
, 
, 0, 1), w której 
B:
